/*
 * Disjunction.h
 *
 *  Created on: Apr 29, 2012
 *      Author: kobe
 */

#ifndef DISJUNCTION_H_
#define DISJUNCTION_H_

#include "Proposition.h"
#include "Util.h"

class Disjunction: public Proposition {
public:
	Disjunction(std::string);
	Disjunction(Proposition*, Proposition*);
	virtual ~Disjunction();
	std::string toString();
	std::string toLatex();
    Proposition *getLeft() const;
    Proposition *getRight() const;
    bool compare(Proposition*);
    bool isAction();
private:
	Proposition* mLeft;
	Proposition* mRight;
	bool mIsAction;
};

#endif /* DISJUNCTION_H_ */
